منابع مشابه
Completeness of Timed CRL
In [9], a straightforward extension of the process algebra μCRL was proposed to explicitly deal with time. The process algebra μCRL has been designed especially to deal with data in a process algebraic context. Using the features for data, only a minor extension of the language was needed to obtain a very expressive variant of time. But [9] contains syntax, operational semantics and axioms char...
متن کاملGuest Editor ' s Introduction Barry W Johnson University of Virginia Multiprocessing
T he advent of the microprocessor and its subsequent miniaturization and application has had a tremenT dous impact on both our technology and our society. The microprocessor is used in an almost endless number of applications; a few examples include home appliances, automobiles, robots, telephone switching systems, word processors, personal computers, calculators, and numerous medical devices. ...
متن کاملCRL at NTCIR2
We have developed systems of two types for NTCIR2. One is an enhenced version of the system we developed for NTCIR1 and IREX. It submitted retrieval results for JJ and CC tasks. A variety of parameters were tried with the system. It used such characteristics of newspapers as locational information in the CC tasks. The system got good results for both of the tasks. The other system is a portable...
متن کاملThe Syntax and Semantics of Timed $mu Crl$ the Syntax and Semantics of Timed Crl
We deene a speciication language called`timed CRL'. This language is designed to describe communicating processes employing data and time. Timed CRL is the successor of CRL 17]. It diiers in two main aspects. It is possible to make explicit reference to time using a newàt' operator; p,t is the process p where the rst action must take place at time t. Furthermore, a distinction has been made bet...
متن کاملCRL-Chu Correspondences
We continue our study of the general notion of L-Chu correspondence by introducing the category CRL-ChuCors incorporating residuation to the underlying complete lattice L, specifically, on the basis of a residuation-preserving isotone Galois connection λ. Then, the L-bonds are generalized within this same framework, and its structure is related to that of the extent of a suitably defined λ-dire...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: College & Research Libraries News
سال: 1974
ISSN: 2150-6698,0099-0086
DOI: 10.5860/crln.35.7.153